r:RngSig. rxmn  GrpSig 

latex

Up	rings 1
Definitions of Statement	rxmn
Definitions	rxmn, GrpSig, t  T, x:A. B(x)
Lemmas	rng sig wf, bool wf, rng one wf, rng times wf, rng le wf, rng eq wf, rng car wf